|
Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool. Splint has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone. Splint is used by gpsd as part of an effort to design for zero defects. Splint is free software released under the terms of the GNU General Public License. Recent development activity on Splint has slowed significantly. According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010.〔(【引用サイトリンク】url=http://sourceforge.net/project/stats/detail.php?group_id=34302&ugn=splint&type=cvs&mode=12months )〕 The maintainer has said that development is stagnant and the project needs new volunteers. ==Example== #include int main() return 0; } Splint's output:
Fixed source: #include int main() return 0; } 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Splint (programming tool)」の詳細全文を読む スポンサード リンク
|